退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:寻找声明性规范的最小不可满足核心
Emina Torlak; Felix Sheng-ho Chang; Daniel Jackson;
机译:寻找CSP的最小不满意量
机译:通过最小的模型和不令人满意的内核在ASP中进行谨慎的推理
机译:加速基于删除的最小不满足核心提取
机译:查找声明性规范的最小不满足要求的核心
机译:演化网络服务的声明性规范。
机译:用于过程和声明性临床决策支持知识的增量规范和维护的可扩展体系结构
机译:使用不满意的内核调试过度约束的声明性模型
机译:基于声明规范的应用
机译:可视化查询的陈述规范
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。